$\forall$$a$, $b$:$\mathbb{N}$.  :\{0..$a$$^{-}$\} $\times$ \{0..$b$$^{-}$\} $\sim$ \{0..($a$ $\ast$ $b$)$^{-}$\}